\section{ First results with small programs}
\emph{You should have a few small (or toy) programs as proof of concept, and to give reason to believe your approach will succeed.}
